FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays
نویسندگان
چکیده
Synaptic vesicle recycling at the presynaptic terminal of neurons is essential for the maintenance of neurotransmission at central synapses. Among the tools used to visualise the mechanics of this process is time-series fluorescence microscopy. Fluorescent dyes such as FM143, or engineered fluorescent versions of synaptic vesicle proteins such as pHluorins, have been employed to reveal di↵erent steps of this key process [3, 7]. Predictive in silico modelling of potential experimental outcomes would be highly informative for these time consuming and expensive studies. We present FM-Sim [9], user-friendly software for defining and simulating fluorescence microscopy experimental assays, with the following features: intuitive user definition of experimental protocols; automatic conversion of protocol definitions into time series rate value changes; domain-specific simulation model of a synaptic terminal; experimental data used for model parameter value inference; automatic Bayesian inference of parameter values [1, 5] and reduction of inferred parameter set size for Bayesian inference. 1 The Synaptic Vesicle Cycle Within chemical synapses of central nervous system (CNS) neurons, neurotransmitter is released from the presynaptic terminal to propagate the neural signal to the postsynaptic terminal of the following neuron. This neurotransmitter is stored in vesicles within the presynaptic terminal. These vesicles are exocytosed in response to an incoming action potential (Figure 1). To prevent vesicle depletion, compensatory endocytosis of plasma membrane allows regeneration of these vesicles. Two forms are studied within CNS nerve terminals: – Clathrin Mediated Endocytosis (CME) [6]. Individual vesicles are reconstructed directly from the plasma membrane. Following reacidification of the vesicle contents and refilling with neurotransmitter, these vesicles rejoin the vesicle pools. 2 D. Stewart, S. Gilmore, M.A. Cousin – Activity Dependent Bulk Endocytosis (ADBE) [4] is a second endocytosis mechanism triggered by periods of high stimulation. Here, large areas of plasma membrane are endocytosed as endosomes, which are later broken down into individual vesicles for reuse. FM-Sim uses a hybrid stochastic model with delays of the vesicle cycle for simulation and inference. The model supports the behaviour of di↵erent fluorescent probes. The kinetic rates and associated time delays of state transitions are the parameters of the model. 2 Fluorescence Microscopy Imaging Time-series fluorescent microscopy is one of the tools used to study the mechanisms of the synaptic vesicle cycle. Fluorescent probes added to nerve terminals allow us to obtain time-series images of nerve terminal behaviour under stimulation. The two commonly used forms of fluorescent probes are FM dyes (such as FM1-43 and FM2-10), and engineered pH-sensitive fluorescent synaptic vesicle proteins (pHluorins). The change in fluorescence of a nerve terminal as a whole over time and under changing stimuli gives insight into internal behaviour. By using either FM dyes or pHluorins in combination with chemical inhibitors, or on various knockdown animal models, di↵erent aspects of the synaptic vesicle cycle can be isolated and studied. It is this variety of potential experiments which makes FM-Sim useful at the design phase. New experiments can be simulated based upon rate parameters obtained from prior similar experiments. Exocytosis Clathrin Mediated Endocytosis Bulk Endocytosis Readily Releasable Pool Reserve Pool
منابع مشابه
FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference
We present FM-Sim, a domain-specific simulator for defining and simulating fluorescence microscopy assays. Experimental protocols as performed in vitro may be defined in the simulator. The defined protocols then interact with a computational model of presynaptic behaviour in rodent central nervous system neurons, allowing simulation of fluorescent responses to varying stimuli. Rate parameters o...
متن کاملTowards Unified, Achievable, Simulation Based Function and Data Privacy in Functional Encryption
As the area of Functional Encryption (FE) has grown in importance, the landscape of its security definitions has become increasingly cluttered. Currently prevalent definitions are largely restricted to data privacy, and are broadly categorized as indistinguishability (IND) style or simulation (SIM) style, where the former are known to be insufficient and the latter are known to be unachievable ...
متن کاملInference on Pr(X > Y ) Based on Record Values From the Power Hazard Rate Distribution
In this article, we consider the problem of estimating the stress-strength reliability $Pr (X > Y)$ based on upper record values when $X$ and $Y$ are two independent but not identically distributed random variables from the power hazard rate distribution with common scale parameter $k$. When the parameter $k$ is known, the maximum likelihood estimator (MLE), the approximate Bayes estimator and ...
متن کاملDevelopment of inhibitory mechanisms underlying selectivity for the rate and direction of frequency-modulated sweeps in the auditory cortex.
Although it is known that neural selectivity for species-specific vocalizations changes during development, the mechanisms underlying such changes are not known. This study followed the development of mechanisms underlying selectivity for the direction and rate of frequency-modulated (FM) sweeps in the auditory cortex of the pallid bat, a species that uses downward FM sweeps to echolocate. In t...
متن کاملAn Adaptive Congestion Alleviating Protocol for Healthcare Applications in Wireless Body Sensor Networks: Learning Automata Approach
Wireless Body Sensor Networks (WBSNs) involve a convergence of biosensors, wireless communication and networks technologies. WBSN enables real-time healthcare services to users. Wireless sensors can be used to monitor patients’ physical conditions and transfer real time vital signs to the emergency center or individual doctors. Wireless networks are subject to more packet loss and congestion. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014